1 results
Proof mining in practice
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp 82-91
-
- Chapter
- Export citation